Subject Area Theoretical Foundations of Software Systems Engineering

ModuleLV TypeCPLVDatesExamination
Algorithmic Game TheoryFach-/Modulprüfung6585094
Algorithmic Learning TheoryFach-/Modulprüfung6582076
Algorithmic Model Theory IFach-/Modulprüfung9582183
Analysis of AlgorithmsFach-/Modulprüfung8582278
Compiler ConstructionFach-/Modulprüfung6582126
Concurrency TheoryFach-/Modulprüfung6581976
Graph Decompositions and Algorithmic ApplicationsFach-/Modulprüfung6585609
Übung588005Mo 14:30-16:00 5056 (2356|056) (×15)
Vorlesung588004Di 12:30-14:00 AH II (2350|111) (×14)
Fr 14:30-16:00 AH III (2350|314.1) (×15)
Infinite Computations and GamesFach-/Modulprüfung6582432
Übung578158Do 12:30-14:00 5054 (2356|054) (×15)
Vorlesung578375Mo 10:30-12:00 5056 (2356|056) (×15)
Mi 10:30-12:00 5056 (2356|056) (×15)
Introduction to Algorithmic DifferentiationFach-/Modulprüfung6585081Fr 26.02.2027 14:30-16:30
     Großer Hörsaal AM (1420|210)
     TEMP1 (1515|001)
Do 25.03.2027 16:30-18:30 Großer Hörsaal AM (1420|210)
Vorlesung/Übung577583Mo 14:30-16:00 AH III (2350|314.1) (×15)
Mi 12:30-14:00 AH III (2350|314.1) (×15)
Do 08:30-10:00 MetP11 (2181|102) (×15)
Logic and GamesFach-/Modulprüfung9584059
Fach-/Modulprüfung9584058
Mathematical Logic IIFach-/Modulprüfung9582180
Modeling and Verification of Probabilistic SystemsFach-/Modulprüfung6582969
Module Complexity TheoryFach-/Modulprüfung6582407
Parameterized AlgorithmsFach-/Modulprüfung8585087
Post-quantum cryptographyFach-/Modulprüfung6584032
Probabilistic ProgrammingFach-/Modulprüfung6582304
Übung577153Di 10:30-12:00 AH I (2350|028) (×14)
Vorlesung577327Mo 16:30-18:00 AH II (2350|111) (×15)
Do 12:30-14:00 AH III (2350|314.1) (×15)
Semantics and Verification of SoftwareFach-/Modulprüfung6585052
Übung587536Fr 14:30-16:00 AH I (2350|028) (×15)
Vorlesung587537Mi 10:30-12:00 AH I (2350|028) (×15)
Do 14:30-16:00 AH II (2350|111) (×15)
Stochastic GamesFach-/Modulprüfung6581578